/**
	author: TangQiao @ Wind 

	problem name: Game Prediction
	source : BNU online Judge
	problem type: 找规律，自己想算法题
	problem description: 一个游戏，每次N个人从自己的CARD中拿出一个和别人比大小，
	没有两个CARD的大小是一样的。求你最少可以赢多少局。

	problem solution: 因为CARD的值的范围在n*m之内，所以，首先排序，然后从大往小找。
	最大的数如果在你手上的话，那么你拿出这张牌时，一定赢。然后，如果最大的牌在别人手
	上的话，那么由田忌赛马的思想，最坏的情况下，这张牌刚好把你最大的牌给吃了。所以
	我们就假设为这种情况。从最大的数：M*N开始往下找。看有多少大的数，我有，而且不
	会刚好被别人吃。
	相关代码：
		count=0;
		now=0;
		for (i=max;i>=1;i--)
		{
			if (shu[i]==1)
			{
				if (now>0) now--;
				else count++;
			}
			else
				now++;
		}
	award & note :  无	
	date : 2005.7.3 北师大校队训练

*/
#include <stdio.h>
#include <string.h>
#include <math.h>

int shu[2000];
int n,m;

main()
{
	int i,j;
	int max;
	int count;
	int now;
	int icase=0;

	while (1)
	{
		scanf("%d%d", &n, &m);
		if (n==0 && m==0) break;
		memset(shu,0,sizeof(shu));
		for (i=1;i<=m;i++) 
		{
			scanf("%d", &j);
			shu[j]=1;
		}
		max=n*m;

		count=0;
		now=0;
		for (i=max;i>=1;i--)
		{
			if (shu[i]==1)
			{
				if (now>0) now--;
				else count++;
			}
			else
				now++;

		}
		printf("Case %d: %d\n", ++icase,count);

		
	}

	return 0;
}